面向应急管理计算实验的模型构建和模型管理

基于人工社会的计算实验使应急管理的定量分析与研究成为可能。然而,应急管理模型涉及多个学科与领域,具有多层次、非线性和多粒度等特点,需要一套规范的流程来指导人工社会的模型建立和模型管理。论文梳理了面向应急管理的模型体系,提出了基于领域特定建模的人工社会建模方法,解决了多领域建模问题;研究了模型的形式化描述与编码问题,并实现了模型的有效管理;结合"甲型H1N1"病程模型,详细论述了模型的构建方法与管理问题,为面向应急管理的计算实验提供一体化的模型服务。     

基于OMAPl510单兵通信系统中头盔子系统的实现

OMAPl510是德州仪器TI公司的双核架构处理器,整合了一个控制性能强的ARM925处理器、一个低功率消耗的高效能TMS320C55X数位信号处理器DSP。文中首先描述单兵通信系统的组成,并给出以头盔子系统为核心的基本工作原理图。然后介绍了0MAPl510的硬件架构和软件架构,并较为详尽地给出实现头盔子系统的蓝牙主控程序的主要代码。最后针对此头盔子系统蓝牙无线通信距离的局限性,提出与头盔共形的微带阵列天线的改进方案。     

顾及时空语义的多主题瓦片数据优化检索方法

针对虚拟地球可视化中多个逻辑图层叠加产生大量同名瓦片索引重叠引起的数据无效访问和内存冗余等问题,提出顾及时空语义的瓦片数据优化检索方法。在客户端实现顾及时空语义的自适应瓦片优选,将视点信息与数据集的时空范围、分辨率和优先级等语义信息自动匹配与自适应筛选过滤,显著提高目标瓦片数据的命中率;在服务器端实现面向主题的内存数据库瓦片数据缓存,进一步提高瓦片数据二次访问的响应速度。实验表明,该方法不受逻辑图层增量影响,保证目标瓦片较高的命中率,缓存方法进一步提升瓦片二次访问效率,显著提高面向多数据集的海量数据实时可视化性能。     

BIT系统的三态马尔可夫模型分析

BIT技术是改善系统测试性和诊断能力的重要途径,但是较高的虚警率一直是阻碍BIT广泛应用的一个重要原因。研究过程中将系统状态划分为正常、间歇、故障三种状态,建立了马尔可夫模型,分析、对比了三态模型与两态模型的关系。理论分析结果表明:基于三态模型的BIT,在提高故障检测率的同时,还可以较大程度地降低虚警率。     

一种用于机电产品测试性设计的传感器优选MINLP模型

在单故障假设条件下,考虑了传感器的失效概率和设备的故障率,提出一种以故障检测率和故障隔离率为约束条件的降低传感器费用和失效概率的混合整数非线性规划(MINLP)模型,从而为机电产品测试性设计中传感器选择问题提供了一种可行和有效的解决方法,并进行了案例验证,说明了该方法的有效性。     

一种新的高分辨率ADC有效位数测试方法

谱分析法和正弦拟合法是ADC动态特性测试的两种常用方法。但在测试信号源信噪比较低的情况下,两种方法的测试结果都存在较大的偏差。提出了一种新的ADC动态性能测试方法,该方法能较好消除信号源对测量结果的影响,使得在普通信号源下可以测试高分辨率的ADC。仿真分析证明了这一测试方法的正确性。最后给出了采用该方法对一ADC系统的实测结果。     

论校园文化建设的思想与实践——基于华山中学校园文化建设活动的系列思考之四

校园环境是校园文化建设的主要载体、主要内容和主要表现形式。从校园文化建设的高度出发,校园环境将不再是传统观念中所理解的那种简单的空间概念,进行环境建设必须从文化建设的思路去认识和思考,而进行文化建设也必须依靠环境建设的内容来表达和实现,二者不可分割,这反映了物质与意识的辩证关系。校园环境建设中精神环境的概念需要单独提出来,它是校园文化建设的重要内容,更是校园文化建设的难点。华山中学在校园环境建设方面有着自身的理解和认识,做出了一些有益的尝试,今后还将在这方面进行更深入地探寻,努力打造富有生命力和自身特色的校园文化。     

面向装备健康管理的可测性指标研究

可测性指标是开展可测性设计、验证和评估的依据.针对传统可测性指标主要用于故障可检测性和故障可隔离性水平评价,不能全面反映面向装备健康管理可测性水平的问题,在定性分析装备健康管理对可测性的本质需求基础上,从全域和瞬态角度提出了五个可测性指标以定量描述面向装备健康管理的可测性水平;并基于故障模式状态矢量给出了可测性指标的分析计算流程.最后以某装备柴油机的机体子系统为案例详细说明了可测性指标的计算过程,应用结果表明所提指标具有一定的可行性和合理性,可以有效指导面向装备健康管理的可测性优化设计.     

基于AHP——探索法的对潜通信系统效能评估

从对潜通信的军事特征出发,建立评估指标体系,并提出一种改进的层次分析——探索法,结合模糊评判理论计算通信系统的效能。该方法运用探索标度值的思想,给出一种新的判断矩阵的构造方法,合理地处理决策因素的不确定性。实例分析表明:该方法精确、有效,易于在计算机上实现,具有较高的应用价值。     

高精度有限体积格式在三维曲线坐标系下的应用

为了构造在光滑区具有较高分辨率并且可以无振荡捕捉激波的高精度有限体积格式,同时降低格式在模板选择上遇到的困难,基于逐维重构方法,发展了结构网格下的高精度有限体积格式,并将这一格式推广到三维曲线坐标系下,从而可以适应相对复杂外形下的计算。为充分验证格式的有效性,选取一系列典型算例进行计算:在等熵涡输运和二维喷管流动中验证了格式的精度可以达到设计精度;在双马赫反射问题中格式也表现出良好的捕捉激波的能力。数值计算表明,上述格式在曲线网格上具有较高的数值精度和鲁棒的激波捕捉能力,适用于流体力学方程的计算。